lower bound on the complexity

复杂性下界